variable and zero product property